Add Debian 10 as supported platform and add missing package for SymEngine

[kinnewig]

I added Debian 10 as supported platform and tested if it works.

I also noticed that for the platforms CentOS 7 and Debian 9, the package for SymEngine (i.e. gmp-devel and libgmp-dev respectively) is missing. Therefore, I added these packages.
Furthermore I guess that the package for SymEngine is also missing on other platforms, but I can only test CentOS and Debian at the moment.

[ghost]

It looks like the two platform files (debian9, debian10) are identical except for the version numbers. Since we just merged the different platforms for Fedora and Ubuntu, we could do the same for Debian. @koecher What do you think?

@Sebastian-47 If you rename one of the Debian platform files to debian.platform, remove the other one and replace in candi.sh line 633 echo debian${OS_MAJOR_VER} by echo debian, then we would have merged the platform files for Debian as well.

[kinnewig]

Yes, the two platform files were identical. Therefore, I have unified both files as you suggested.

[ghost]

debian Debian

[ghost]

on debian On Debian

[ghost]

Except the comments, it looks reasonable. However, @koecher or @tjhei needs to review it.

[ghost]

On (capitalized beginning of sentence ... sorry)

[kinnewig]

Sorry, I just missed that.

[ghost]

@Sebastian-47 Maybe you also want to squash your commits into one single commit. You can do this for example with:

git checkout master
git checkout -b debian_platform
git push -u origin debian_platform

git checkout e0e101 (these are Zeros)
git branch -D master
git checkout -b master
git push -u origin master --force

git checkout debian_platform
git rebase -i master

(In this textfile replace all pick by f except the first one)
Ctrl+X
Y
(In case of merge conflicts you need to resolve them and continue the rebase process)

git push --force

Maybe you are more familiar with git and dont need this. In any case you also want to do a backup of the updated files during theses steps ;)

[koecher]

@Sebastian-47 Maybe you also want to squash your commits into one single commit. You can do this for example with:

Squashing can be done as merging strategy in github itself (currently). So there is no need for it here, but thanks for the remark.

[koecher]

@Sebastian-47 Thank you for your contribution. Just a general remark: it would be great if you can create different pull requests if you have different developments, e.g. here the symengine / centos and the debian platform.

[koecher]

@Sebastian-47 Another remark: it would be good if you branch (git checkout master and then git checkout -b new-feature) and do the pull request from your new branch.