implement inclusion theorem from Barnett-Hassell 2011 SINUM

[GoogleCodeExporter]

in evp make a method for evaluating phi_j on the bdry then using its L2 norm to 
return absolute error in k eigenfrequency. Only do for Dirichlet BC for now.

Original issue reported on code.google.com by [email protected] on 21 Dec 2011 at 4:27