A Quick History of Options