Re-enable BIKE test in .travis.yml (reverts 803b61ad).
Re-enable BIKE test in .travis.yml (reverts 803b61ad).

This goes along with the fix for #674.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script