travis-ci: remove distcheck, add configure options