Rename source files according to their id on rosalind.info