Forward to hpipm tag 0.1.3 and fix error in hpipm install script.

ct/install_hpipm.sh

@@ -1,20 +1,30 @@
 #!/bin/bash
+set -x #echo on
+
+## remove existing installation of blasfeo/hpipm
+rm -rf /opt/blasfeo
+rm -rf /opt/hpipm
 
 ## get blasfeo
 echo "Now installing blasfeo, using a specific commit/tag (!)"
 cd /tmp
+rm -rf blasfeo/
 git clone https://github.com/giaf/blasfeo.git
 cd /tmp/blasfeo
-git checkout cc90e14 # we currently are on this commit.
-make static_library
-sudo make install_static
+git checkout 0.1.2
+mkdir -p build && cd build
+cmake ..
+make
+sudo make install
 
 ## get hpipm
 echo "Now installing hpipm, using a specific commit/tag (!)"
 cd /tmp
+rm -rf hpipm/
 git clone https://github.com/giaf/hpipm.git
 cd /tmp/hpipm
-git checkout 5d9909f # we currently are on this commit.
-make static_library
-make examples
-sudo make install_static
+git checkout 0.1.3
+mkdir -p build && cd build
+cmake ..
+make
+sudo make install