Fix up carddav servlet mapping