Updated export of symbolic functions...

- Names are shorter now, this results in a bit smaller file sizes...
  of the exported code.
Merge branch 'master' of github.com:acado/acado
Merge branch 'master' of github.com:acado/acado
With Cygwin we build static libs only