Update schema to use InnoDB

MyISAM is much less crash-proof than InnoDB, and doesn't support many things InnoDB does, such as true foreign keys.