add submodule ref for slugs
call slugs for compilation instead of jtlv
update slugs
Update to use slugs version that outputs to .aut file, require it to use
"robotics semantics"
Updated slugs reference to the latest version
Merge branch 'development' of github.com:LTLMoP/LTLMoP into slugs

Conflicts:
	.gitmodules
	src/lib/specCompiler.py
Bring slugs submodule ref up-to-date
added robot waiter example and shopping with atm example
added runtime verification to the slugs branch
added LTL2LineNo in specCompiler and added IROS2013 paper example
modify to use TRUE, FALSE as environment and system propositions
in progress of adding the learning algorithm with RV. finishing up the first stage (only current inputs)
added three cases to modify the safety assumptions. working on removal of liveness guarantees for failure in all three cases
added removed system guarantees functionality
added appedning system liveness guarantees back to the ltl file
finished version of safety assumption addition (will terminate if env liveness assumptions are needed
trying to fix the value changing problem due to addition of printing. Still don't know why that is happening
added resynthesize when unsynthesizable from spec
modified fsa.py to obtain the right current state and sensor state (instead of next state and sensor state
adding livness assumptions generation (need to work on combination of current inputs