The Python Static API Generator