devel: Renamed online optimisation binary to avoid naming conflicts
devel: Renamed online optimisation binary to avoid naming conflicts

Mantella/Mantella,Mantella/Mantella,SebastianNiemann/Mantella,Mantella/Mantella,SebastianNiemann/Mantella,SebastianNiemann/Mantella