Adding abbrev.sty package for abbreviations.