We have newer badges available for everyone to develop against, and p1
is so different from everything else that it's really not worth
maintaining support for it anymore.

Also drive-by removed unnecessary git submodule crud - we can now check
out all submodules without wasting time.