give the user the choice the choice for saving python files: inserting an encoding line, canceling saving or ignoring encoding line problems and save anyway