Adding facet profile success message.
Workspace tool list always add missing tools.
Facet administration success message.
Merge pull request #749 from ngodfraind/bugfix

Adding facet profile success message.