Test with 64-bit SBCL and clean up .travis.yml a bit

(We were previously using the 32-bit version because that version
 is older than the 64-bit version which was failing some autodoc
 tests.)