Add minimal Device class
read_config_file() now returns a vector of Devices