Making the code more readable in pycryptosat.cpp
Returning SQL run ID and making sure it's larger than 0 if set
Fixing some percentage calculation errors and using a common function

When printing statistics percentages we will no longer have the problem of
division by zero