TCP server for Android GPS updates.
Fixing weird github pushing errors by making a clean commit.