add scripts for ruuning experiments and extracting data
Merge branch 'dev-runexp'
add tools/smt2_stat
Merge branch 'dev-smt2stat'
add flyspeck_code which converts Hale's HOL light formulae into .dr
Merge branch 'dev-flyspeck'
add dr2smt2
Merge branch 'dev-dr2smt2'