CASC-J12

hardcode an informative version string which does not rely on git bei…

…ng present at build time

th1_sledgehammering/TH1.txt - but done in a weighted way (problems al…

…ready covered by the other subscheds weigh less)

also a new HOL sched sprinkled with hfsq

officially move to v4.8

officially move to v4.8

schedules complete after casc (includes a schedule for CNF)

bump to 4.7

new strategies for ShHydraTf0Schedule (also, get rid of the buggy fmb…

… strat)

Merge pull request #277 from zhangwen0411/smtlib-parse-named

SMTLIB2 parser: record formula label on ParserResult