Revert "Merge branch 'master' of github.com:acado/acado"

This reverts commit 36f799f02a959723afdbab482f6425fe735253b3, reversing
changes made to 403b48396f7cb827eb8b2335df315417dd17b925.