Initial commit for uprove-sdk, including the basic architecture for the
math-stuff and a test case.