Update Console page for 3.1.0 (#920)

## Goal

Update the Console documentation to reflect TypeDB Console 3.1.0: no
more core/ccloud split, the `--script` argument and its requirements
(eg. terminating queries with a newline), and the transaction command
argument order.

## Implementation

1. Remove the Core and Cloud differentiation - Console has no
distinction now.
2. Document requirements of console scripts, in particular newline
termination.
3. Document the order of arguments to open a transaction
4. Update example inputs and outputs
5. Update CLI argument changes
6. Document some of the shortcuts and tricks of Console

Author: flyingsilverfin

.github/pull_request_template.md

@@ -1,17 +1,4 @@
-**For the title of this PR:** please follow the grammatical rules of a usual publication title, without capitalisation (except for the first letter). Thus, the title should NOT CONTAIN CODE: no dots, no parentheses, no backticks, no brackets, etc. It needs to be distinctive (not detailed) and succinct (not lengthy). Details of this PR will go in the description. **For the description of this PR:** please replace every line in curly brackets ( { like this } ) with an appropriate description following the guidance. Finally, **please remove this paragraph**.
+## Goal
 
-## What is the goal of this PR?
 
-{ In the form of a paragraph (only use bullet points if strictly necessary), please describe the goal of this PR, why they are valuable to achieve, and reference the related GitHub issues. This section will be automatically compiled into the release notes, so please:
-  - describe the impact of the change in this PR to the _user_ of this repository (e.g. end user, contributor, developer).
-  - describe the new product behaviour in _present tense_, and the old behaviour and how it's been changed in _past tense_.
-  - Use the _Royal We_: _"We"_ made changes, not _"I"_ made changes. }
-
-## What are the changes implemented in this PR?
-
-{ Please explain what you implemented, why your changes are the best way to achieve the goal(s) above. Please describe every method, class and package, by explaining:
-  - its responsibility, 
-  - how it's expected to behave, and 
-  - how it relates to the adjacent methods/classes/packages it interacts with. 
-
-This would allow the reviewer to understand your intentions in the code much better. If you're adding new classes, make sure these explanations are also included in the class header comments. Last but not least, please reference the GitHub issues to be automatically closed, such like 'closes #number'. }
+## Implementation

home/modules/ROOT/examples/tql/data_small_single_query.tql

@@ -3,16 +3,13 @@ insert
         has username "masako-holley",
         has phone "185800100011",
         has email "masako.holley@typedb.com";
-
     $u2 isa user,
         has username "pearle-goodman",
         has phone "171255522222",
         has email "pearle.goodman@typedb.com";
-
     $u3 isa user,
         has username "kevin-morrison",
         has phone "110000000",
         has email "kevin.morrison@typedb.com";
-
     $relatives1 isa family (relative: $u1, relative: $u2);
     $relatives2 isa family (relative: $u2, relative: $u3);

home/modules/ROOT/examples/tql/schema_small.tql

@@ -1,23 +1,20 @@
 define
   entity content @abstract,
     owns id @key;
-
   entity page @abstract, sub content,
     owns page-id,
     owns name,
     owns bio,
     owns profile-picture,
     plays posting:page,
     plays following:page;
-
   entity profile @abstract, sub page,
     owns username,
     owns name @card(0..3),
     plays group-membership:member,
     plays location:located,
     plays content-engagement:author,
     plays following:follower;
-
   entity user sub profile,
     owns email,
     owns phone @regex("^\d{8,15}$") @unique,
@@ -28,49 +25,38 @@ define
     plays relationship:partner,
     plays marriage:spouse,
     plays employment:employee;
-
   relation social-relation @abstract,
     relates related @card(0..);
-
   relation friendship sub social-relation,
     relates friend as related @card(0..);
-
   relation family sub social-relation,
     relates relative as related @card(0..1000);
-
   relation relationship sub social-relation,
     relates partner as related,
     owns start-date;
-
   relation marriage sub relationship,
     relates spouse as partner,
     owns exact-date,
     plays location:located;
-
   entity organisation sub profile,
     owns tag @card(0..100),
     plays employment:employer;
-
   entity company sub organisation;
   entity charity sub organisation;
-
   relation employment,
     relates employer,
     relates employee,
     owns start-date,
     owns end-date;
-
   entity group sub page,
     owns group-id,
     owns tag @card(0..100),
     plays group-membership:group;
-
   relation group-membership,
     relates group,
     relates member,
     owns start-timestamp,
     owns end-timestamp;
-
   entity post @abstract, sub content,
     owns post-id,
     owns post-text,
@@ -80,12 +66,9 @@ define
     plays commenting:parent,
     plays reaction:parent,
     plays location:located;
-
   entity text-post sub post;
-
   entity image-post sub post,
     owns post-image;
-
   entity comment sub content,
     owns comment-id,
     owns comment-text,
@@ -94,71 +77,57 @@ define
     plays commenting:comment,
     plays commenting:parent,
     plays reaction:parent;
-
   relation interaction @abstract,
     relates subject @abstract,
     relates content;
-
   relation content-engagement @abstract, sub interaction,
     relates author as subject;
-
   relation posting sub content-engagement,
     relates page as content,
     relates post @card(0..1000);
-
   relation commenting sub content-engagement,
     relates parent as content,
     relates comment;
-
   relation reaction sub content-engagement,
     relates parent as content,
     owns emoji @values("like", "love", "funny", "surprise", "sad", "angry"),
     owns creation-timestamp;
-
   relation following,
     relates follower,
     relates page;
-
   entity place,
     owns place-id,
     owns name,
     plays location:place;
-
   entity country sub place,
     plays city-location:parent;
-
   entity city sub place,
     plays city-location:city;
-
   relation location,
     relates place,
     relates located;
-
   relation city-location sub location,
     relates parent as place,
     relates city as located;
-
+  # attributes
   attribute id @abstract, value string;
   attribute page-id @abstract, sub id;
   attribute username sub page-id;
   attribute group-id sub page-id;
   attribute post-id sub id;
   attribute comment-id sub id;
   attribute place-id sub id;
-
   attribute name value string;
   attribute email value string @regex("^.*@\w+\.\w+$");
   attribute phone value string;
   attribute karma value double;
   attribute relationship-status value string @values("single", "married", "other");
   attribute latitude value double;
   attribute longitude value double;
-
   attribute event-date @abstract, value datetime;
   attribute start-date sub event-date;
   attribute end-date sub event-date;
   attribute exact-date @abstract, sub event-date;
-
   attribute payload @abstract, value string;
   attribute text-payload @abstract, sub payload;
   attribute image-payload @abstract, sub payload;
@@ -167,14 +136,12 @@ define
   attribute post-text sub text-payload;
   attribute post-image sub image-payload;
   attribute profile-picture sub image-payload;
-
   attribute tag value string;
   attribute emoji value string;
-
   attribute creation-timestamp value datetime;
   attribute start-timestamp value datetime;
   attribute end-timestamp value datetime;
-
+  # functions
   fun all_relatives($user: user) -> { user }:
     match
       $relative isa user;