New web player interface

- Added new web services for playlist information and control
- New theme
- Replaced pure with bootstrap
- Moved javascript to a separate static file
avoid the extra space here `previous()` instead of `previous ()`