Add a HsExplicitFlag to SpliceDecl, to improve Trac #4042