update README_PYCUDD for Mavericks
add 'symbolic' option to compile_options
move configurePropositions() from FSAStrategy to Strategy
add StateCollection.getPropositions()
make FSAStrategy print loading message
remove last remnant of BDD minimization in JTLV
Beginning of proper BDDStrategy class.  State search works; transitions not yet.  Some refactoring of Strategy may be necessary.