Redid installation persistence

It now supports arbitrary many installation operations to be performed, using the eclipse permanent installation folder and the workspace folder.