[#208] Remove the `mint` entrypoint

[rinn7e]

Description

Problem: mint is an admin-only entrypoint that allow generating tokens. This was intended to be used mainly to set up the contract and then to not be used again. However, it is possible to setup the ledger with correct initial value at origination and we no longer need this entrypoint.

Solution: Remove mint entrypoint and remove all related tests.

Related issue(s)

Resolves #208

:white_check_mark: Checklist for your Pull Request

Related changes (conditional)

• Tests

  • [x] If I added new functionality, I added tests covering it.
  • [x] If I fixed a bug, I added a regression test to prevent the bug from silently reappearing again.

• Documentation

  • [x] I checked whether I should update the docs and did so if necessary:
  • README
  • Haddock

Stylistic guide (mandatory)

• [x] My commits comply with the following policy.
• [x] My code complies with the style guide.

[rinn7e]

@pasqu4le I decide to combine these 2 issues into 1 PR since they are related. Hope to get your review on this.

The only note is that, I do not make the changes to lorentz version. Let me know if you want me to update it as well.

[rinn7e]

@pasqu4le I decide to combine these 2 issues into 1 PR since they are related. Hope to get your review on this.

The only note is that, I do not make the changes to lorentz version. Let me know if you want me to update it as well.

So I decide to split this after all. Here is for the burn: https://github.com/tqtezos/baseDAO/pull/218 @sras Hope to get your review on both of these as well.

[pasqu4le]

I do not make the changes to lorentz version.

No, that won't be necessary, this is Ligo-only once again.

[pasqu4le]

Ah one minor thing, please make the commit message changes I explained in the other issue comment here as well.