Proto: remove Coq attributes

The current MR removes the Coq attributes part of formal-land (reference for what Coq attributes are : https://formal.land/docs/coq-of-ocaml/attributes)

Context

Coq attributes creates a lot of noise for OCaml developers and hence this change essentially removes that confusion and noise for people working on tezos/tezos. This doesn't mean Formal Land is not going to use Coq attributes. The code with attributes are still a part of formal-land/tezos's fork.

There are no modifications to the functions used in the code base.

Manually testing the MR

To check if the code base works one should run make test to make sure all the established tests work.

Checklist

• Document the interface of any function added or modified (see the coding guidelines)
• Document any change to the user interface, including configuration parameters (see node configuration)
• Provide automatic testing (see the testing guide).
• For new features and bug fixes, add an item in the appropriate changelog (docs/protocols/alpha.rst for the protocol and the environment, CHANGES.rst at the root of the repository for everything else).
• Select suitable reviewers using the Reviewers field below.
• Select as Assignee the next person who should take action on that MR