add build.py, it's used to generate html pages for this manual