Ordered metrics in config file

Currently, metrics are displayed in an arbitrary order, since the config file for a widget's metris ends up as a dict. This needs to be changed so that the user can specify the ordering of widgets in the config file.