Add script to add user configuration to all repositories, to let Eclipse also cope with the new user data.