Add config scripts and current state README contains instructions on installing and running hol-light