Giving up boxes package

I've been way too busy with GHC and containers to have time to devote to boxes. If anyone wants to take over, they are welcome. The main priority right now is improving documentation, but someone also needs to make sure it works with 8.2 as soon as its dependencies do.