update dependency for wai3
use ghc-7.8.3
add `cabal update`
add cabal constraint texmath < 0.7.0.0

sadly workaround...
add cabal constraint about aeson < 0.8
use cabal-1.20
remove workaround `aeson` and `texmath`
Merge branch 'update-dependency'