Merge branch 'Use_gurobi_finder_from_library' into 'master'

Use gurobi finder from library

See merge request !74
5 jobs for master in 11 minutes and 26 seconds (queued for 1 second)