GitLab

Setting programmer.default has unfortunately multiple effects:
- sets the tick by default in the Tool menu in the IDE (which was the
  expected behavior),
- forces the CLI to use the specified programmer every time an upload is
  attempted (which is confusing users).

For this reason, it is better to remove the "programmer.default" setting
from the board definition and let the user choose the programmer in the
IDE menus, as it was before.