Refactor variables code and restore last ans value after load

Phi is not a built-in identifier any more, only pi and e.
Also, add universal math constants to the constants dock.
Finally, fix a minor graphical bug where No matches found message is now shown
centered in the Variables dock.