output path and query to /tmp/emtpy.txt for debugging purposes
Merge pull request #1279 from spechub/output-web-path-and-query

output path and query to /tmp/empty.txt for debugging purposes
Fixed a bug in getAllProvers and made it total
Merge pull request #1280 from spechub/1277-make_getAllProvers_total

Fixed a bug in getAllProvers and made it total
increase timeout for Ubuntu #1278
Merge pull request #1281 from spechub/1278-running-maude

increase timeout for Ubuntu #1278
conditional compilation for warp version 1 (precise), 2 (trusty) and 3 (latest)
Merge pull request #1285 from spechub/support-warp-3

conditional compilation for warp version 1 (precise), 2 (trusty) and 3
current version for packaging hets
Note, that empty directories (i.e. debian/trusty) must be created for this
script to work!
Yet, git does not track empty directories
and I don't want to duplicate files or have dummy files in releases.

Further adjustment is needed once Hets-lib is on github.
Merge branch 'adjust-ubuntu-packaging' of https://github.com/spechub/Hets into adjust-ubuntu-packaging