[m-rev.] for post-commit review: speed up handling of insts

[Zoltan Somogyi]

On Sat, 28 Feb 2015 20:56:48 +1100, Paul Bone <paul at bone.id.au> wrote:
> I havn't reviewed the change, but it looks like you forgot to commit
> inst_user.m  Could you add it?

Sorry about that. Committing now.

Zoltan.