Remove policy library - it's now in a separate git repository.