Re-add src/lens submodule