doc: update Travis CI environment information

Travis CI uses Ubuntu 12.04 LTS Server Edition now.