run-travis.sh: use SBCL 1.2.6
Whitespace