docs: factor out dependency specs (#161)

There is another (out-of-date) dependency description for l4v on the
docs site. To avoid this duplication, this commit factors out the
dependency part of the README, so that it be included directly on the
docs site without going stale.

Also, the README was getting way too long.

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>

update publications links

The links to nicta.com.au have stopped working, so the publication links
now point to the TS publication pages.

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>

readme/docs: update comments to Isabelle2020

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>

trivial: fix broken links

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>

docs: an initial guide on naming conventions

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>

regression: force use of python3

Python 2 has passed its sunset date, and many distributions are
withdrawing support for Python 2.

PEP 394 recommends distributions always install versioned interpreter
commands (e.g. `python3`), but does not make a recommendation about
whether or not an unversioned command (`python`) should exist, or what
version it should run.

It therefore seems advisable to explicitly run scripts using the
`python3` command, for scripts that are compatible with Python 3.

Here, we do this for Python scripts used by `run_tests`. For this to
work, some scripts have been updated in ways that will break Python 2
compatibility. But for some other scripts which were already compatible
with both Python 2 and 3, we have not yet removed Python 2
compatibility. There are also miscellaneous scripts that are not used by
`run_tests`, and these have not yet been updated to Python 3.

Signed-off-by: Matthew Brecknell <Matthew.Brecknell@data61.csiro.au>

Update license information and move to LICENSE.md

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>

license: provide documentation under CC-BY-SA-4.0

Datat61 provides all docs under CC-BY-SA-4.0.

licenses: convert license tags to SPDX

licenses: tag .md and document file

docs: clarify installation instructions

Miscellaneous changes to make instructions easier to follow, as well as
updating instructions for Haskell Stack (which is no longer available on
Debian Testing).

docs: update mlton-compiler instructions.

Move `mlton-compiler` to the end of the apt-get list so it's easier for
a user to leave it off.

Point the user to the mlton website when installing on Debian Buster,
since there's no maintained mlton package for that distribution.

docs: add python3 installation dependencies.

seL4 and L4V are migrating to python 3 given the upcoming end of python
2's support. Until we've rooted out all the old scripts, we recommend
installing both systems.

docs: update README files for Isabelle2019

docs: Add section on JEdit

- Add instructions for installing the `goto-error` macro in a place
where we might be able to find them.
- Mention the improved auto-indenter, in the hope that we will use it
when writing proofs.

docs: Update installation instructions.

Figuring out that you need to install an extra package _after_ waiting
three hours for CRefine to build isn't fun. Changes the installation
instructions to be like most other projects, i.e. "here is everything
you'll need for anything you'll want to do".

Isabelle2018: READMEs and docs

fix incorrect path in readme

update build instructions in readme to use make

JIRA VER-915

docs: Isabelle2016-1 -> Isabelle2017

README.md: zenodo png -> svg; move DOI tag up

link to all-version DOI in README.md

update python dependencies in README

Removes all trailing whitespaces

haskell: update documentation for building the Haskell kernel

Isabelle2016-1: update README

docs: update installation instructions

The bitfield generator in seL4/ now also depends on the `six` package.

README: adjusted latex dependencies and Isabelle version

closes github issue #11

Add Haskell kernel to README

update README and CONTRIBUTING links

(after seL4.systems update)

README: back to production mode

bump to 2015

more detailed dependency description

add update notice

link to CONTRIBUTING.md

remove now obsolete instructions about TOOLPREFIX

also mention `make` version

document missing texlive dependency;

Also comment more on `TOOLPREFIX` for now (until we have a better solution).

Isabelle 2013-2 -> 2014 in docs

Dragons slain, Isabelle2014 update complete.

add DOI

start Isabelle2014 udpate

further README tweak

More dependency description; added Mac cpp wrapper

Based on suggestions by @jserv and @bacam
See also https://github.com/seL4/l4v/pull/1

add full latex dependencies

add Isabelle dependencies

tune build instructions

misc: Proofing and formatting of README.md files.

Attempt to improve readability of the files when viewed as plain ASCII;
proof-read and fix minor issues.

add links to README.md

filled in README

Import release snapshot.