Added new file interior.cc (not yet linked) which will implement the
method of Efficient Covers to certify that a point z is in the interior of
Set A.

Algorithm is not yet written, but a broad description of the algorithm is
written in the preliminary comment.