Added g++4.7 for Travis CI