Merge pull request #702 from mathspace/Use-official-symbola-web-fonts

Updated symbola web fonts to:
1. Fix #630 and some other swapped symbols
2. Fix the weight of certain horizontal and vertical lines at certain font sizes, like the equals sign
3. Halve the filesize