Added nominal man-page.

Added a nominal manpage for the `idris` executable, that can be used by package maintainers to package `idris` for their platforms.

More manpages can be created for mini tutorials, rc files *et cetera* but that can be left for others to do.