BDDBUTreeAut: RemoveUnreachableStates - return reachable states
ondriks_mtbdd: add dox for GetMtbddForPrefix()
Merge remote-tracking branch 'upstream/master'