Add links to SPECIFICATION and INSTALL on README