Support for Cider-CI

Squashed commit of the following:

commit 14b7e417883a34ce764a123bf3b48f29d3df8b7c
Author: Thomas Schank <DrTom@schank.ch>
Date:   Tue May 6 11:19:01 2014 +0200

    minor update

commit 160895cafdaa0c65674d65c976408d52771f53d6
Author: Thomas Schank <DrTom@schank.ch>
Date:   Tue May 6 11:01:40 2014 +0200

    fix semantics of specification

commit 8fb6d40c70791274d53b42442134d78fbd798192
Author: Thomas Schank <DrTom@schank.ch>
Date:   Tue May 6 10:59:24 2014 +0200

    Completeness ...

commit 2dafbdf8838e664f10568fee101458f8b7e7ecc8
Author: Thomas Schank <DrTom@schank.ch>
Date:   Tue May 6 10:22:02 2014 +0200

    File name fix

commit 92a361986a7dbcfc9e7936fa55d9051f3b271609
Author: Thomas Schank <DrTom@schank.ch>
Date:   Tue May 6 10:11:47 2014 +0200

    now all_tests

commit a292523c49a2ec8e17354a7751685c5f4f96c4f1
Author: Thomas Schank <DrTom@schank.ch>
Date:   Tue May 6 09:40:54 2014 +0200

    Running a feature too

commit 1879de96c5e3c565af4243751790bea948c53a6b
Author: Thomas Schank <DrTom@schank.ch>
Date:   Tue May 6 09:33:04 2014 +0200

    db ajustments

commit befe8eb0c4f8dde462fdc3724d469657182f8534
Author: Thomas Schank <DrTom@schank.ch>
Date:   Tue May 6 08:55:17 2014 +0200

    Initial CIDER-CI setup
Improve Cider-CI support, remove Domina-CI support

Squashed commit of the following:

commit cffe835b38c529c6621daaea14710303afd21aa4
Author: Thomas Schank <DrTom@schank.ch>
Date:   Tue May 6 14:23:37 2014 +0200

    fix completeness

commit 68243051991afddd3120d7a477f30016e01b52f7
Author: Thomas Schank <DrTom@schank.ch>
Date:   Tue May 6 14:16:28 2014 +0200

    Remove domina ci support

commit 31c15180b04a092e92830a260746caf76b18f16a
Author: Thomas Schank <DrTom@schank.ch>
Date:   Tue May 6 14:15:29 2014 +0200

    Fix hotspots

commit 727e2df0376f145177ff3dcfd9e09baaea344817
Author: Thomas Schank <DrTom@schank.ch>
Date:   Tue May 6 14:09:33 2014 +0200

    fix ...

commit b00c51738228f0448e58bfc933eb394f15fab82c
Author: Thomas Schank <DrTom@schank.ch>
Date:   Tue May 6 14:07:24 2014 +0200

    dryness
Remove TODO_features and other legacy files #CLEANUP
clean up meta terms after db refactoring
delete no longer needed meta terms helper