Reworked proxy publishing - code merged with Michal's pjwstk version. Now Rio correctly redeploys services that are killed. Fixed discovery of registrars in shell. Disabled unnecessary jini services