Build system: make sure that __init__.py, casadi.py, tools/*.py are copied when changed - actually just copy them all the time