GitLab

Mostly because the refactoring will break lots of things here.

This increases build time, and might hurt disk performance for kvm/qemu
a bit. So we disable it by default. But will be useful for docker images
etc.

This significantly reduces image size, and since we're not using the
images interactively does not sacrifice anything we care about.

Remove the ubuntu1804 image. Base only has basic tools, no build tools
or libraries. Install build deps in nopaxos, mtcp, and tas images.

Necessary for for building the tas image.

Only builds base image, none of the others.

This speeds up base image build significantly

Just run different scripts inside. This avodis lots of duplication in
the jsons.

This is a lot faster than manually installing from ISO.

Ubuntu cloud images use this for EFI.

Apparently if the config file exists, the requirements file won't be read by default.

This should hopefully speed up build time for docs and avoid wasting their compute cycles.

Seems like the right thing to do, plus readthedocs only supports public urls.

set is broken if multiple events have the same timestamp (even though
the actual set members are pointers to the event :-/)