Corrected the behaviour of the color

It used to set it back to white at the end, but that was not a valid
behaviour people might have a black on white terminal ...
Now it sets back the default color instead of white.
Merge branch 'master' of github.com:GL-MPRI-2014/GL_MPRI_2014