* Added device-view.html for viewing and editing device details.
* Fixed and improved devices.html.
* Modified DeviceManagementController so that the '/monitor/device'
endpoint returns the devices of the current user,
and also plain users can retrieve info for the devices they own.
Change-Id: I44a2786d7e1b26a4714353c8df32e1b2633be7aa
5b7ca47065