Do not discard user PYTHONPATH when building
Merge pull request #6 from adanis/pythonpath

Do not discard user PYTHONPATH when building
remove unsupported platform
Use usr/bin/env for all python bangpaths to enable virtualenv use.

Very useful with python3 as the default platform.
arm: Perform additional cache clean to prevent TLB walker loading garbage entries for first user process
Remove last bits of unsupported integratorcp platform.

Suggested by @jserv on https://github.com/seL4/seL4/issues/1
Fix IFC6410 build

The IFC6410 has too many devices to fit into the bootinfo page.
What is more, some are aligned on half-page boundaries.

Exclude devices on half-page boundaries from the bootinfo device list.
people who contributed to code, design, and docs

(state before release on 29 July 2014)
add Max's contribution
fix typo; add more links
add DOI