Release 1.3.11

[ci] upload binary of tagged commit to nightly builds

Reactivate workaround for noncomparable elements

Set 1.3.8 version number

release 1.3.7

Set 1.3.6 version number

git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/releases/1.3.6@2640 b0c55286-4f34-0410-a049-a1e7e93b0762

Add 1.3.5 release notes

git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/releases/1.3.5@2556 b0c55286-4f34-0410-a049-a1e7e93b0762

Last minute update from trunk

git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/releases/1.3.4@2486 b0c55286-4f34-0410-a049-a1e7e93b0762

Set 1.3.3 version number

git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/releases/1.3.3@2380 b0c55286-4f34-0410-a049-a1e7e93b0762

Set 1.3.2 version number

git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/releases/1.3.2@2275 b0c55286-4f34-0410-a049-a1e7e93b0762