travis: don't do coverage, make docs as part of build script
travis: don't do coverage, make docs as part of build script

Apparently the docs are broken since like a month

jonas-schievink/lea,jonas-schievink/lea