package imports in module headers

See IEEE 1800-2012 A.1.2 module_nonansi_header and module_ansi_header

I will also submit a pull request to ivtest with a corresponding test case.