Python script for editing the host file.