[travis] install dejagnu