Updates and reformatting/cleanup of Mirage2 README