catkin .gitignore & docker info file

Added the .gitignore file, to prevent git from pushing build/ and devel/
from catkin-ws.
Added some information for using docker.

modules/catkin_ws/gitignore

+build/
+devel/

modules/info_docker.info

+Docker
+
+= How to share a folder? =
+Unter Windows ein neues Image laden:
+
+(winpty) docker run -it -v /to/map/path:/target/path/in/container --name {CONTAINER_NAME} {IMAGE_NAME}
+
+Falls der Container bereits existiert:
+
+(winpty) docker start -ia -v /to/map/path:/target/path/in/container {CONTAINER_NAME / CONTAINER_ID}
+
+
+Beachtet: Docker braucht in seinen Settings Zugriff auf die Festplatte/Partition, auf/in der sich der zu mappende Ordner befindet.
+
+Falls die Konsole nicht direkt tty-fähig ist, kann der Befehl "winpty" Abhilfe schaffen (getest mit der "Git Bash for Windows")