Travis-CI: make sure we test the installed version

doctests were executed using the local version, not the installed version
previously. This patch fixes that.