Added optional parameter to OSRC operators#295

evantwout wants to merge 1 commit intobempp:developmentbempp/bempp-legacy:developmentfrom

evantwout:patch-2evantwout/bempp:patch-2Copy head branch name to clipboard