Tim King, AmigaDOS developer, has died