haifeng-jin format jupyter notebooks