Minor clarification on Installation instruction to Android/Raspberry PI devices

Depict workaround of native inet:gethostbyname failure on Raspberry PI. Clarify
deployment to Android devices using adb tool. Fix source indent issues.