Make red irb prompt bold (was unreadable on some Windows systems), fix space