fix(util/git_sha1): add copyright, wrap with namespace
fix(main): cmd-line parsing

 - move cmd-line parsing from SMTConfig to main.
 - run gflags first, update argc and argv. Then call SMTConfig with the
   updated ones.
 - check whether a given file exists or not.

This closes dreal/dreal#39
feat(realpaver/rp_constraint): add delta
fix(dsolver/icp_solver): remove get_var_split_delta1
fix: constraint_width
checkpoint