Trying Vagrant on Docker tutorial

Signed-off-by: Gianpaolo Macario <gmacario@gmail.com>
Add .gitignore
Working configuration for docker

Signed-off-by: Gianpaolo Macario <gianpaolo_macario@mentor.com>
Add section: Testing

Signed-off-by: Gianpaolo Macario <gianpaolo_macario@mentor.com>
Vagrantfile: some cleanup

Signed-off-by: Gianpaolo Macario <gianpaolo_macario@mentor.com>
Support multiple providers: virtualbox, docker

Signed-off-by: Gianpaolo Macario <gianpaolo_macario@mentor.com>
Remove no more needed files
Vagrantfile: Additional cleanup
bootstrap.h: Some cleanup
Add more details to instructions
Merge pull request #5 from gmacario/docker-provider

Add support for "--provider=docker"