Best practice how to store settings in MySQL? - Theo's Typesafe Cult