Blackify source code

To guarantee a uniform code style, we should consider using the black code formatter.