Fully-generated travis config (with apt-get leveldb).