use gnu readline for slang interpreter by default