Modified makefiles to add local IdrisDoc generation.
Fixed makefile spacing issues
Merge pull request #1313 from jfdm/libs/documentation

Building idrisdoc for libs/