Redid installation persistence

It now supports arbitrary many installation operations to be performed, using the eclipse permanent installation folder and the workspace folder.

Added installation code for permanent config. For now, it only stores the uninstall date.