Switch html5shiv to min'd version

Top 15 library, should save some bits.