Disallowed duplicate module names.

Module manager should return error on encountering a duplicate module
name (i.e. if a module with the same name has already been loaded).

Review: https://reviews.apache.org/r/26513