proxy handling improved, plugin installation errors will now be reported,
reinstall behaviour improved