Spanish dictionary update

Today's update to the Spanish dictionary adds a number of new entries and improvements to existing entries. Various commonly-referenced entries in the English-Spanish side of the dictionary have also been improved.