ignore original sorts when comparing constraints, fixes #1296
Merge pull request #1310 from spechub/1296-improve_constraint_comparisons

ignore original sorts when comparing constraints, fixes #1296
adjusted cronjob for solaris and branches
Merge pull request #1313 from spechub/cronjob_for_branch

adjusted cronjob for solaris and branches
fixed error of commit 30930ef65036fd1e47d8c5aebf440ca63abfc279 that fixes #1315
Merge pull request #1316 from spechub/1315-maude_regression

fixed error of commit 30930ef65036fd1e47d8c5aebf440ca63abfc279 that fixe...
started to produce json
first json output
added some pretty printing of json
shortened output
Merge branch '1267-add_json' of https://github.com/spechub/Hets into 1267-add_json