Previously they were thrown away during typechecking. Now they are
passed through as they are for normal hs source files, and stored in and
loaded from interface files.
This patch consists of (1) passing .hsig annotations through the
typechecker, (2) adding support for annotations in .hsig interface
files, and (3) adding a test case.