Add a Travis target for make lib_doc

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