Travis CI Bug Fix

Renamed Travis CI configuration file to the expected filename.