Basic infrastructure for calling kaluza and interpreting the result.
Add Kaluza distribution
Integrate the solver with Artemis, now requires an ARTEMISDIR env variable to be set.
Update ignore file
Add quick test of solver to Makefile
Merge branch 'feature-path-exploration' of github.com:cs-au-dk/Artemis into feature-path-exploration

Conflicts:
	artemis-code/artemis-core.pri