Updated after becoming MIRI research associate.

- Added some MIRI links
- Removed the most prominent Simplifience link, it has been superseded by the LW
  sequences
- Updated the quotes to be less programmer-centric
- Updated the pictures to be more modern
- Updated the CSS on the business card to make it more presentable