Fix make-release.sh and update the repo accordingly.

- Add / delete symbols only if a new PCB was released.

- When releasing the IDE package, also update all the
  source files.

The latter was also executed, so all source files
should be up to date now.