Old scripts lingering at beat git

I just realized that the following scripts are still available on ./bin:

• generate_single_integers.py
• check_dataformat.py
• synchronize.py
• run_toolchain.py
• generate_integers_database.py
• check_toolchain.py
• display_data.py

If they are not useful anymore (i.e. have been integrated into the beat general command-line program), could you please remove them not to create any confusion?