Make fricas installation relocatable#197

mkoeppe wants to merge 2 commits intofricas:masterfricas/fricas:masterfrom

passagemath:relocatablepassagemath/upstream-fricas:relocatableCopy head branch name to clipboard