Use push notifications to get phone connection data (WIP).
Restore ability to enter phone IP manually.
Merge branch 'master' into feature/zeroconf-websockets

Conflicts:
	ide/urls.py
	ide/views.py
Merge branch 'master' into feature/zeroconf-websockets
Don't specify size="1"; makes the button look odd.
Merge branch 'master' into feature/zeroconf-websockets

Conflicts:
	ide/static/ide/js/compile.js
	ide/urls.py
"Save and run" plays better with the phone dropdown.

This needs refactoring.
Handle names, versions, Android, and initial defaults.
Merge branch 'master' into feature/zeroconf-websockets
Don't show phones that we know to have push disabled.
Merge branch 'feature/zeroconf-websockets'
Added iOS 2.1.1 stuff to whatsnew.
Merge branch 'master' of github.com:CloudPebble/CloudPebble

Conflicts:
	ide/urls.py