install/doc/ubuntu_x86_vagrant_readme.txt: Renamed some optional sections into appendices.
install/copy_ubuntu_scripts.bat: Split into x86 and x64 versions.