Improve Makefile targets for doc building

Add a separate `info` target to build Info documentation, and let `doc`
build all documentation, that is, Info and HTML.
Add a Texinfo macro to shorten Github links