add os_to_api.json and process it in macros.py
Record statistics to a latex file for ease of inclusion