travis configuration update: g++-4.8, cmake check