Fix #2 - Add Travis CI script, allow disabling of pre-dexing to increase...

... build server performance.