make tests compile again
added and fixed some test cases
added travis clojure build
added travis ci hint
added infrastructure for constraints
refactored commit interface
new structure for commit procedure