Update INSTALL.txt

minor changes. added SELinux bits.