How do I change the hostname of my box? If this option isn't available, can you please add it?

Right now the hostname is something like "android-2g98eh9483h" and there doesn't seem to be any way to modify it.

Also, why can I no longer access developer options?