Fix ExactConstraintSatisfaction::safeDot:

In an edge case, it could happen that k is negative (even INT_MIN),
leading to an endless (modulo safebreak) loop.

Simplify the code, eliminating some dangerous manual edge case handling.
5 jobs for safeDot-fix-edgecase in 9 minutes and 49 seconds (queued for 2 seconds)
latest
Status Name Job ID Coverage
  Test
passed clang-c++11 #141056
Linux

00:08:27

passed CoMISo-VS2017-Qt-5.10.1-x64 #141058
VS2017 IPOPT3129

00:01:45

passed gcc-c++11 #141055
Linux

00:09:47

passed macos-c++11 #141057
Apple

00:03:10

 
  Deploy
passed trigger_build #141059

00:00:01