[PATCH] install fricas-readline to target directory

[Qian Yun]

Currently fricas-readline is not installed to ./target/*/bin/.

I find it useful to debug with readline support:

cd target/x86_64-linux-gnu
FRICAS=. ./bin/fricas -rl

Because readline's history feature is really convenient when
you need to input the same things over and over again during debugging.

- Qian

[Waldek Hebisch]

OK. I use 'clef' so did not notice that it was not installed.

--
Waldek Hebisch