Add support for externally resolvable modules

+ can use wildcard import statements now

The check is implemented the following way:
1. Create temporary file, which only contains an import statement for
   the module to check.
2. Pass this file to `scalac`.
3. Check if the compile succeeds. If yes, then the module is externally
   resolvable.