#1119: add WITH_PYTHON

This flag adds the 'python' target to 'all', and the 'install_python' target to 'install'.
If you do 'WITH_PYTHON=OFF', you can still build/install python explicitly with
"make python; make install_python"
Merge branch 'develop' of github.com:casadi/casadi into develop