Fix travis build error (pygments too old)