v1.13.1 - Fix for longstanding layout issue

Bug fixes

• fix(WorkspaceBuilder): Fix layout issue due to missing default-size for terminal #793

Fixes #737, #667, #704 This fix is reversed via v1.13.2

Automated

• ci: Use actions/setup-python@v3/4 caching by @tony in #797
• Fix layout related issues #737, #667, #704 by @nvasilas in #793

Full Changelog: v1.13.0...v1.13.1