changed Hets-lib from svn to git and added json output
reconstruct missing pattern term
made output more uniform
do not distinguish variables and constants in constructor terms
also rename components for Isabelle
Merge pull request #1326 from spechub/adjusted_cronjob

changed Hets-lib from svn to git and added json output
only output the top-level (last) LIB_DEFN
ignore wrong names in imported clif files
Merge pull request #1328 from spechub/1312-wrong_clif_imports

ignore wrong names in imported clif files
Merge pull request #1329 from spechub/1323-HasCASL2Isabelle

also rename components for Isabelle
Merge pull request #1327 from spechub/1321-parsed_LIBDEFN

only output the top-level (last) LIB_DEFN
Merge pull request #1324 from spechub/1137-better_missing_patterns

reconstruct missing pattern term
adjusted deps for travis
Merge pull request #1332 from spechub/network-HTTP-deps

adjusted deps for travis
replaces keyword diagram by graph
renamed constructor, too
Merge pull request #1333 from spechub/rename-diagram-to-graph

replaces keyword diagram by graph
for interactive api proving query keys for all theorems are created
percent encode unicode via utf8
use proper percent encoding