UI synchronisation tweaks, notifications

• Improved synchronisation between formulas installed and available for installation
• A notification is posted to the Notification Center when a formula has been installed