fixed travis configuration for mongodb (added installation of extension), removed hhvm