First step of cleaning flags. - We removed some useless flags - We removed some flags that will never be changed - We corrected some issues raised by flags - We now use flags prefixed with #pharo to make it easier to filter them in a future flag browser Fixes #3027