run-travis: use sbcl v1.2.5
run-travis: use the ubuntu utopic package repository