Log Message:
sollya: Import sollya-7.0 as math/sollya

Sollya is a tool environment and a library for safe floating-point
code development, particularly targeted at automated implementation
of math libraries like libm.

Derived from wip/sollya.