Merge pull request #7 from JTiko/master

Remove Runtime Gecode Solver Backend from monadiccp package
implements #2
removed remaining gecode parts
fixed some compile errors
converted tabs to spaces in some files
exposed more modules + some cleanup
removed old Example runner
revert hiding (<>)...
expose Data.Expr.Util