Building idrisdoc for libs/

Added `Makefile` targets to generate `idrisdoc` for packages within `libs/`