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 pull request #1287 from spechub/new-ubuntu-packaging

current version for packaging hets
removed unused type argument
removed taxonomy tool
because in fgl 5.5. Data.Graph.Inductive.Graphviz was moved to graphviz
Merge pull request #1288 from spechub/drop_taxonomy_tool

removed taxonomy tool
Merge branch 'refactor-generic-state'
Merge branch 'master' into develop