fixed blinking out of lines and rays
added point labels (first pass)
removed all calls to getPointX() and getPointY()
labels now work for points, lines, rays, circles; labelmaker improved; new classes FancyLabel and ViewingRectangle (which replaces AnalyticGeomUtils)
added back in operators for angle, segment, line, ray, and circle
fixed selection of circle color bug
created settings reader

SettingsReader.java looks for a file called settings.txt in the
project's root folder. Settings are stored as key-value pairs of
strings. In settings.txt, each line which contains exactly one = sign is
interpreted as a key=value pair; each line with exactly no = signs is
interpreted as a key, and the value "true" is assigned to it
automatically. For now, the only setting used is "theorem-path", the
path to the directory where the theorems are stored. Theorem.java has
been updated to use the settings file for this, instead of using a
hard-coded value. If settings.txt cannot be found, SettingsReader.java
should complain and provide a default value for each setting.
default settings are only created once

The default settings are now stored in a final HashMap, so that they
don't have to be populated every time the settings file fails to read.
Also made it possible to manually ask to reload the settings file the
next time somebody asks for a setting.
added comments and JavaDoc

No code changes this time around! If this commit introduces a new bug,
the only response will be to assume a fetal position and cry oneself to
sleep.
Revert "removed deprecated operators"

This reverts commit 76431adbbae3b9b78a441b9d8237fcdb3f524db0.
Merge remote-tracking branch 'origin/master' into settings-file
merged betterLabels branch into master
Added an example settings.txt

Whitespace before the key, around the = sign, and after the value is
allowed but not necessary.
Merge remote-tracking branch 'origin/settings-file'
Removed the subexpression selection test button.

I have no idea how that got in there in the first place.
Merge branch 'master' into latex-display