Address the following addition libNVVM features:

• Is there a way to add multiple modules?
• If / when it is possible to add multiple modules, a test with code that uses something from libdevice is probably a good idea.
• It's also useful to be able to lazily add a module

Originally posted by @leofang in #907 (comment)