Grateful Dead’s ‘Europe ’72’ gets an overhaul