Don't install .svn directories in casadi/tools/
Merge pull request #985 from toivoh/dont-install-.svn

Don't install .svn directories in casadi/tools/
automatic casadibot merge