Merge pull request #56 from wongkaiweng/development

corrected format of ltl created by fsa.stateToLTL to \!next(prop)
update sphinx conf to properly import all modules during documentation build
Add dummy imports to Sphinx config so documentation can be compiled on ReadTheDocs.  Also partially updated the list of modules, and updated version/copyright information.
remove outdated lib.platforms module for CKBot
remove old anzu/marduk conversion modules
remove testHsub
added other LEDs on nao as actuators in naoActuaor.py