chore(travis): do not use EGLIBC Option

We're using FILIBXX and not affected by eglibc bugs anymore.
chore(travis): add static build on travis-ci
chore(cmake): OSX doesn't support static binary; check it in cmake
fix(tools/proofcheck/checker): use marctan instead of matan

close #20.
fix(opensmt): fix math function names(arcsin => asin)

We allow both of arcsin and asin for smt2 formula. But internally, we
only use asin (atan, atan2, matan, etc).
minor fix on readme etc
fix(tools/proofchecker/checker): fix math functions(asin,acos,etc)
fix(tools/proofcheck/checker/lexer.mll): update hexlit regex
benchmark(PTC): remove