Added device to User Location table

- Added column
- Added index on column
Added filtering by Device on Map + Colouring markers

- Added dropdown to filter points by device
- Added radio button to select point vs circle
- Added different colours for different types of points
Improved Control area style

- Added legend for marker colours
Added location type (GPS/Network) filtering

- re-center map on first point
Merge pull request #4 from KamilMroczek/add_device_id_to_user_location

Add device id to user location