Replace escaped slashes in user's guide

doc/user_guide.texi:
    Replaced wrongly escaped backslashes with plain backslashes.