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