Removed an unnecessary #include.
Added *.user files to the .gitignore list.