Use new DDOX version to enable support for lower_underscore file names

As per discussion with @andralex, this prepares switching the documentation to use underscores between words (e.g. "boyer_moore_finder.html" instead of "boyermoorefinder.html"). Since creating redirection rules doesn't work as simple as with just pure lower case names, this also adds a little script to convert old URLs ("BoyerMooreFinder.html") to the new underscore style. This can be used together with mod_rewrite to set up the redirection rules.