Fix #3408: lengthen the idle GC time to 5s for GHC/GHCi.