Android gui: allow users to add new libraries by downloading to VideLibri, other little changes (e.g. updated reddit test template, always enable options in gui)

--HG--
branch : trunks
convert null string to '' (previously < (null) >), string array wrapper methods

--HG--
branch : trunks