readline and bash pimping