[travis] install dejagnu with sudo