Add an old documentation-generator file, which never really worked properly.