[undertaker] Add -picosat patch to adapt to new reentrant picosat API. Fix bogus changelog date.