Tools for setting-up Raspberry Pi as a music server which can be controlled from an android device through Wifi