Remove installer doc

Once this gets merged, I'll delete the [atoum/atoum-installer](https://github.com/atoum/atoum-installer) repository (see https://github.com/atoum/atoum-installer/issues/2)