update TODO
This is not needed, and is read-only anyway.
Inject the state driver into the device object.
phpdoc
Add ::getFormattedDeviceProperties and ::getLastSyncTimestamp
Return the device_properties as well.
Allow Horde_ActiveSync_State_Sql::getLastSyncTimeStamp to take id/user parameters.
Clean up/improve the activesync preference display.
Remove the provisioning restriction for WP7.

This was an issue in early versions, and this prevents ALL WP7 devices
from being provisioned when provisioning is forced.