MarkovAvailability: add much more complex example
	a model for a dual-controller active/active system
	with fully redundant components and varying repair
	times.  FIT rates are sufficiently complex that I
	wrote a program to generate them.

Signed-off-by: Mark Kampe <mark.kampe@gmail.com>