.gitignore: ignore Make.user file.
doc: sinpi, cospi -- expand on documentaion as suggested in #4121.