loader: aggregate OZPLB license terms into toplevel
Documentation: add timer management
trivial syntax tweak
revise the user environment naming

Unified to "user" instead of "app"
propose new coding style based on Linux indentation
apply new coding style to each C file except external source
user: unify the licensing terms about L4/pistachio
apply appropriate CFLAGS while generating symmap

When floating-point is enabled with GNU Tools for ARM Embedded
Processors [*], we got the following error:

  arm-none-eabi-ld: error: build/discoveryf4/f9.elf uses VFP register
  arguments, build/discoveryf4/f9.symmap.o does not

It results from unmatched compilation options while generating symmap.

[*] https://launchpad.net/gcc-arm-embedded
Merge remote-tracking branch 'upstream/master'