next release

[Matthew Fluet]

> As I see it, here's what needs doing:
> 
> 3. fix mlprof to work with native backend
> 
> Matthew, would you be interested in 4?  My guess is that it's
> less than a days work.  It just needs some new regular expressions and some
> slightly different code for the correlation between the gmon.out data and the
> profiling labels.

I assume you meant 3; but, yeah, I should be able to handle that.  I've
got a few old emails from Henry describing the profiling, but I may have a
few questions when I get into it (probably next week, as I'll be on
break).