added CakeML link, edited intro para, reorganized history files