Spanish dictionary update

Today's update adds various new entries to both the Spanish-English and English-Spanish sides of the dictionary. As with many updates, the new entries include both commonly-consulted everyday words, plus a number of technical terms.