a simple PHP documentation generator