* Rename version: 2.5_121012 -> 2.5_2012_10_12.
* Don't put Jambase.html, Jamfile.html into development directory.
While correct in principle, it is not so nice to separate them from
Jam.html, which is mostly development documentation as well
(documenting the tool invocation and the Jam language).