build.py: add install option