Dynamic web tools for Standard ML / News: Recent posts

I've made an initial beta release of the tools. They've been in use for small-scale sites for over a year, so they should be quite usable.