(Binary Simulator) Fixed wrong name in makefile
(Binary Simulator) Removed --debug switch; added semantic_flags variable
(Binary Simulator) Added --progress switch to clone detection