add link to github repo to intro
add linebreaks
add HotOS paper as mirage output
add update for hotOS paper - CHECK TYPES!
adjust dates of hotOS update