Fix minor errors identified by hlint
Use libstdc++ instead of libc++

Currently it's difficult to build with libc++ on Linux.
Enable travis-ci