Puppet module tool should accept multiple modules to install

The puppet module tool would be more convenient to use if it could install multiple modules at once, like yum or apt can.

For example, I'd like to run:

puppet module install jfryman-nginx ploperations-puppetlabs_apt ploperations-unicorn puppetlabs-inifile puppetlabs-puppetdb

The behavior I'd expect would be essentially identical to what I'd get from:

for module in jfryman-nginx ploperations-puppetlabs_apt ploperations-unicorn puppetlabs-inifile puppetlabs-puppetdb; do puppet module install $module; done

This is a relatively low priority issue because most of the time I'm using r10k to install modules anyway, but during bootstrap of a new environment or ad-hoc work for development locally it would be convenient.

I did look and tried to find duplicate issues - I have to believe somebody else has requested this, but I wasn't able to find a ticket for it.