Dice : a toy php orm/active record, for teaching purposes