pc (facet_split): not use vec.permute() (#3364) #4096

Job	Run time
Build Firedrake (real, default)	1h 0m 44s
Build Firedrake (real, default)	55m 11s
Build Firedrake (complex, --complex, complex)	54m 3s
Build Firedrake (complex, --complex, complex)	54m 3s
Set the Docker release tag	3s
Set the Docker release tag	3s
Build Docker containers / docker_env / Build the firedrake-env container	19m 40s
Build Docker containers / docker_env / Build the firedrake-env container	34m 46s
Build Docker containers / docker_complex	1s
Build Docker containers / docker_vanilla	1s
Build Docker containers / docker_docdeps	1s
Build Docker containers / docker_firedrake	1s
Build Docker containers / docker_jupyter	1s
Build Docker containers / docker_complex / Build the firedrake-complex container	16m 38s
Build Docker containers / docker_vanilla / Build the firedrake-vanilla container	16m 6s
Build Docker containers / docker_docdeps / Build the firedrake-docdeps container	15m 9s
Build Docker containers / docker_firedrake / Build the firedrake container	10m 34s
Build Docker containers / docker_jupyter / Build the firedrake-jupyter container	4m 14s
	5h 41m 19s

Provide feedback