user_documentation.md: -builtins --> -b

Fixes issue reported in 041b658d7c23e45e55178b0b65661e15454c63d1.
Merge pull request #11 from agarwal/patch-1

user_documentation.md: -builtins --> -b