auctex: Version bump to 11.87.