Add compilation of spot in the CMake

.gitmodules

.gitmodules.save

CMakeLists.txt

Examples/philo/.svn/all-wcprops

Examples/philo/.svn/entries

Examples/philo/.svn/format

Examples/philo/.svn/prop-base/mctest.sh.svn-base

Examples/philo/.svn/prop-base/toto.txt.svn-base

Examples/philo/.svn/text-base/formula.ltl.smv.svn-base

Examples/philo/.svn/text-base/formula.ltl.svn-base

Examples/philo/.svn/text-base/mctest.sh.svn-base

Examples/philo/.svn/text-base/philo.ap.svn-base

Examples/philo/.svn/text-base/philo.sed.org.svn-base

Examples/philo/.svn/text-base/philo.sed.svn-base

Examples/philo/.svn/text-base/philo10.net.ltl.smv.svn-base

Examples/philo/.svn/text-base/philo10.net.ltl.svn-base

Examples/philo/.svn/text-base/philo10.net.smv.svn-base

Examples/philo/.svn/text-base/philo10.net.svn-base

Examples/philo/.svn/text-base/philo100.net.ltl.svn-base

Examples/philo/.svn/text-base/philo100.net.smv.svn-base