Update HISTORY and CONTRIBUTORS txt files