Plugin selection

Add a mechanism to all Runtime Applications to select which instance of a plugin with a particular name they want

@nedbat @sarina: Review?

Requires #65