Added a couple of helpful new features to geometer (e.g. selecting & deleting points!)