More cleaning

Moved phpProxy into a new folder, rearanged some code. Replaced series
of spaces with tabs in minimal.js.