added more ciphers
added boolector support, updated chaskey
Adde Key Recovery for Simon.
started refactoring
refactoring search
refactoring stpcommands, parser
refactored simon
refactored simon
Refactored more ciphers
more refactoring...
Added examples
Merge remote-tracking branch 'experimental/experimental' into develop
removed old examples
Updated Readme
fixed examples for simon key recovery
Added bibtex to readme.
Update from develop