changeset 637:d1d4c633fca8

Find changesets by keywords (author, files, the commit message), revision
number or hash, or revset expression.

Make "Share * int" multiplication local too.
Making Runtime.mul stricter in the type of arguments it accepts
unveiled a little strangeness in prss_share_random: it called
Runtime.mul with the same FieldElement used twice as argument. That is
not necessary, so we now save a resharing there too.