Changes

Summary

1. Move docker/vagrant into virtualization folder (details)
2. Move docker/vagrant into virtualization folder (details)

Commit f8fa4c54809607953537a265577c752dcf8b0c0d by garcia.yann Move docker/vagrant into virtualization folder
	virtualization/docker/home/etc/init.d/20-eclipse.sh
	docker/home/etc/init.d/30-osip.sh
	vagrant/Vagrantfile
	docker/build.sh
	virtualization/docker/home/etc/init.d/10-titan.sh
	virtualization/docker/home/etc/init.d/30-osip.sh
	ttcn/LibIts
	virtualization/docker/README.md
	docker/home/etc/init.d/50-doxygen.sh
	virtualization/docker/home/etc/init.d/40-etsi_Ng112.sh
	docker/home/etc/init.d/10-titan.sh
	vagrant/provisioner.bash
	docker/run.sh
	virtualization/vagrant/Vagrantfile
	docker/home/etc/init.d/20-eclipse.sh
	virtualization/docker/build.sh
	virtualization/docker/run.sh
	docker/Dockerfile
	docker/README.md
	docker/home/etc/init.d/40-etsi_Ng112.sh
	virtualization/docker/home/etc/init.d/50-doxygen.sh
	etc/AtsLIS/AtsNg112_Gridgears_lis.cfg_
	docker/Dockerfile.stfubuntu
	virtualization/docker/home/etc/titan_repos.txt
	virtualization/vagrant/provisioner.bash
	virtualization/docker/Dockerfile.stfubuntu
	virtualization/docker/Dockerfile
	docker/home/etc/titan_repos.txt
Commit 8031ff621cbcb4bbae00feaf9ce7900b48c7045a by garcia.yann Move docker/vagrant into virtualization folder
	.jenkins.sh