Add overview to README
prefer markdown for github
merge
bump API version number
Add links to "seL4.systems" website to "README.md".
Do not discard user PYTHONPATH when building
Merge pull request #6 from adanis/pythonpath

Do not discard user PYTHONPATH when building
remove unsupported platform
Merge branch 'master' into arm_hyp