Remove copyright strings

.github/CODEOWNERS

@@ -1,4 +1,3 @@
-# Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 * @model-checking/kani-devs

.github/dependabot.yml

@@ -1,4 +1,3 @@
-# Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 # https://docs.github.com/en/code-security/dependabot/dependabot-version-updates/configuration-options-for-the-dependabot.yml-file

.github/workflows/book.yml

@@ -1,4 +1,3 @@
-# Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 # This workflow is responsible for building and releasing the book.

.github/workflows/kani.yml

@@ -1,4 +1,3 @@
-# Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 # This workflow is responsible for verifying the standard library with Kani.
@@ -62,4 +61,3 @@ jobs:
  run: |
  kani verify-std -Z unstable-options ./library --target-dir ${{ runner.temp }} -Z function-contracts \
  -Z mem-predicates -Z ptr-to-ref-cast-checks
- 

.github/workflows/rustc.yml

@@ -1,4 +1,3 @@
-# Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 # This workflow is responsible for building the standard library using the bootstrap script

.gitignore

@@ -1,4 +1,3 @@
-# Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 ## File system

doc/book.toml

@@ -1,4 +1,3 @@
-# Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 [book]
 title = "Verify Rust Std Lib"

library/contracts/safety/Cargo.toml

@@ -1,4 +1,3 @@
-# Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 [package]

rust-toolchain.toml

@@ -1,4 +1,3 @@
-# Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 # This version should be updated whenever we update the version of the Rust