Lots of links to authors' homepages

The biggest change in the PR is adding the author homepages (though I haven't done VMCAI yet), and the rest are small tweaks for uniformity.  I've written a parser which flushes out lots of things like that which I'll likely put up on github before too long.