Sid Richardson Hall and LBJ Library during construction