Alexander Senier

Allow for incremental hashing for HMAC and hash functions.

Potentially relevant: Support for `Ada.Numerics.Big_Numbers.Big_Integers` (#68) for overflow elimination in contracts (cf. [T416-051])

Implement allocator to enable use of `new`. On Linux, `__gnat_malloc` is implemented using `malloc()`. On Genode, `env` is passed to the runtime using a platform-specific interface (called by Genode-specific C++...

[Here](https://github.com/nst/JSONTestSuite) is an extensive JSON test suite. Extend our tests by this suite.

[CBOR](http://cbor.io/) is a compact binary representation based on JSON.

Support generalized loop iteration

2

Cf. http://docs.adacore.com/live/wave/spark2014/html/spark2014_rm/statements.html#user-defined-iterator-types

Element names, attribute names and attributes values have a specific format according to the [XML specification](https://www.w3.org/TR/REC-xml/#sec-common-syn). At the moment, the generator and the parser accept arbitrary strings, though. For the...