Use information from module-info files

[errt]

So far, we load module-info files from Java 9's module system, but we don't use the information contained in them. Modules restrict the classes that can be accessed, thus using this information should help increase precision (and performance). This is probably mainly a concern for our call graphs, but may have further implications.