Update readme with halt documentation