add -xml as default argument in service.eliom\
Merge branch 'master' of https://github.com/magicpt100/kind2
add -xml as default argument
Add separate service for interpreter
web form and test file for interpreter job
Merge pull request #111 from chsticksel/develop

Output counterexamples with failed properties
Merge pull request #112 from chsticksel/develop

Allow empty path when initializing interpreter
Merge pull request #117 from chsticksel/develop

XML output fixes

Closes #115, closes #114
Merge pull request #110 from magicpt100/master

Update to develop branch
Switch QE algorithm in PDR for real variables