Switch run-sps.sh record-sps to use miniperf; expose it directly as well.
Switch default manifest branch.