Exact exchange: A pathway for a density functional theory of the integer quantum Hall effect. (14th November 2017)