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 #110 from magicpt100/master

Update to develop branch