Add GitHub fork button

Could do star or follow rather than fork, but I think fork is more appropriate.