Remove Arch Linux installation of isl in the doc
PEP 8