Merge pull request #71 from chsticksel/master

Various bugfixes and improvements
Merge pull request #72 from chsticksel/master

Bugfixes for Lustre input, record input file position of node calls
Merge pull request #73 from chsticksel/master

Remove scope from property name
Merge pull request #74 from chsticksel/master

Removed extra checks in QE
Upload six files
Merge remote-tracking branch 'upstream/master'
"merge"
Merge pull request #75 from chsticksel/master

Bugfixes for Lustre input
Merge pull request #76 from chsticksel/master

Some more bugfixes
Merge pull request #77 from chsticksel/master

Counterexample output
Updates kind2server and service.eliom, now the submitjob retrievejob and canceljob is properly working for the most part
Merge remote-tracking branch 'upstream/master'
clean up codes, and add up _deps directory to test compiling
upload the _deps repo
Merge pull request #79 from chsticksel/master

PDR with multiple properties
Configuration file for service.eliom
Configuration that contains font information
_deps turns out to be unneccessary, remove it
Change port number to 8484
modified canceljob and retrievejob function so that unix.error is removed
Merge branch 'master' of http://github.com/magicpt100/kind2