Pin mojo pub version at 0.4.6.
Pin mojo pub version at 0.4.6.

v0.4.7 was released on Dec 9, which is incompatible with the mojo
version installed in our mojo profile.

Change-Id: I5124c2e618e5323b028dc136c888c61262a32539

vanadium/mojo.syncbase