Add a Travis target for make lib_doc

This makes sure that we haven't broken idrisdoc generation for the library.

Fixes #1442
Merge pull request #1457 from david-christiansen/issue/1442

Add a Travis target for make lib_doc