Merge pull request #3904 from firedrakeproject/connorjward/add-tsfc #6279

Job	Run time
Set the Docker release tag	4s
Build Firedrake (real, default)	1h 26m 41s
Build Firedrake (complex, --complex, complex)	1h 17m 40s
Build Docker containers / docker_env / Build the firedrake-env container	37m 25s
Build Docker containers / docker_vanilla / Build the firedrake-vanilla container	17m 8s
Build Docker containers / docker_complex / Build the firedrake-complex container	22m 13s
Build Docker containers / docker_firedrake / Build the firedrake container	7m 56s
Build Docker containers / docker_docdeps / Build the firedrake-docdeps container	18m 54s
Build Docker containers / docker_jupyter / Build the firedrake-jupyter container	3m 59s
	4h 32m 0s

Provide feedback