Revert "Use setupCIWorkspace for Travis instead of setupDecompWorkspace"

This reverts commit 0638f69f2a56cebb258ab26c4121999cad9f7870.