changing file extension in python,os.path.splitext('name.fasta')[0]