Pseudo differential operators on Gevrey spaces and regularity for elliptic boundary value problems