Set the global textwidth to 80 characters, instead of only in Python