Check if the travis lock up is deterministic

because I can't reproduce it on my machine with GHC 7.8.