fix not load simulation config after compilation
update firefighting spec file format
add symoblic strategy option for slugs. Changed .bdd from jtlv to .add from clarification
updated slugs to commit with symbolicStrategy fix
Merge branch 'development_ADD' into fastslow_multiRobot
added latest version of specs