change ats platforms
build pdf2xml with clang
fix sqsh source
fix stunnel source
fix tokyocabinet source
add option to expose `ghc` package in `ghcWithPackages`
add liquid-fixpoint and liquidhaskell