Defaultable Options in a Markovian Intensity Model