Significant Inform 7 extension updates

A note to let people know that many of the Inform 7 extensions have been updated to run under 5T18. As usual, they can be downloaded at the official extensions page.