A Simple REST music server for introducing REST and CherryPy in Python