GitHub launches GitHub Package Registry, a package management service