Fixup of some headers.

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

ARMv7: Implement rtdsc() and time() at user level.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

dmalloc: remove completely unnecessary orignb in bf_dmalloc_morecore

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

Upgrade Doug Lea's malloc to 2.8.6

Summary:
This brings in a few bug fixes and additions. The main changes are:
* Fail-fast: aborts instead of just printing a warning and ignoring
incorrect usage or memory corruption [!]
* Header file now exposes more routines and non-standard extensions, for
example aligned allocations and statistics.
* Adds `posix_memalign`, which I need for the Rust port.

Test Plan:
Ran small C and Rust programs manually but nothing thorough.

Differential Revision: https://code.systems.ethz.ch/D16

Signed-off-by: Zaheer Chothia <zchothia@inf.ethz.ch>

Clang: resolve several minor warnings.

Fixed some compilation problems and modified the use of functions
inside asserts as asserts are not compiled in production level deployments
(harness deployments)

Merge from ASPLOS tree.