Darken ocean more

It's actually pretty dark
Move android project to directory
Add ocean data download script

What a wonderful world of dataset access
Implement image-packing octave code

Stupid octave bugs.
Implement (untested) texture unpacking GLSL

Looks right enough to me.