Various cleanup of scripts

[jdemeyer]

1. remove sage-apply-ticket (current release manager doesn't use it and superseded by GIT dev scripts)
2. remove unused sage-monitor
3. support and use SAGE_SRC environment variable
4. (re-)silence make when just testing whether "all" is up-to-date (in spkg/install)
5. other random stuff

Depends on #14377

CC: @ohanar @ohanar

Component: scripts

Author: Jeroen Demeyer

Reviewer: R. Andrew Ohana

Merged: sage-5.10.beta3

Issue created by migration from https://trac.sagemath.org/ticket/14417

[jdemeyer]

Description changed:

--- 
+++ 
@@ -1 +1,3 @@
-
+1. remove `sage-apply-ticket`
+2. support `SAGE_SRC` environment variable
+...

[jdemeyer]

Description changed:

--- 
+++ 
@@ -1,3 +1,3 @@
-1. remove `sage-apply-ticket`
-2. support `SAGE_SRC` environment variable
-...
+1. remove `sage-apply-ticket` (current release manager doesn't use it and superseded by GIT dev scripts)
+2. remove unused `sage-monitor`
+3. support and use `SAGE_SRC` environment variable

[jdemeyer]

Dependencies: #14377

[jdemeyer]

Description changed:

--- 
+++ 
@@ -1,3 +1,4 @@
 1. remove `sage-apply-ticket` (current release manager doesn't use it and superseded by GIT dev scripts)
 2. remove unused `sage-monitor`
 3. support and use `SAGE_SRC` environment variable
+4. other random stuff

[jdemeyer]

Author: Jeroen Demeyer

[jdemeyer]

Attachment: 14417_root.patch.gz

[jdemeyer]

Attachment: 14417_clean_scripts.patch.gz

[jdemeyer]

comment:5

Any chance for a review of these patches?

[ohanar]

Reviewer: R. Andrew Ohana