Changes

Summary

1. Adds a check to avoid managing the console of external tools. Fixes #763 (commit: ab7de77) (details)
2. Prepare Release 3.0.2 (commit: 0a7e3f3) (details)
3. Adjusts versions (commit: 95e6f39) (details)

Commit ab7de77fe11ed5d002754bd27bb658f49595d667 by idhugoid Adds a check to avoid managing the console of external tools. Fixes #763 (commit: ab7de77)
	ide/debug/src/main/java/org/overture/ide/debug/ui/DebugConsoleManager.java (diff)
Commit 0a7e3f384d824a67de5f56aacf57ec49d9d88abd by idhugoid Prepare Release 3.0.2 (commit: 0a7e3f3)
	documentation/releasenotes/ReleaseNotes_3.0.2.md
Commit 95e6f3989add4591fdc75d5f43a24e150ae50806 by idhugoid Adjusts versions (commit: 95e6f39)
	overture.release.properties (diff)