Add version for real.
Fix markup.
Update Vagrant basebox checksum.
fixes for vagrant v2 (1.3.5) - Version tested via vagrant_version: vagrant_old - Moved the box checksum as a define since the newer vagrant doesn't pass the env to the downloader - Added the insertion of the Debian keys because it was failing to build otherwise
Use old Vagrant stuff when its version[1] < 2.

This fixes things for Julien Voisin on Vagrant 1.2.2.
Drop insecure importing of Debian archive keys: we will upgrade the basebox instead.
Vagrant: use http.debian.net instead of the mostly broken (and soon obsolete) cdn.debian.net.
MachinState should be accessed as MachinState::id in Vagrant 2 (Closes: #6514).
Merge branch 'stable' into devel
Remove spurious trailing whitespace introduced by this branch.
Drop duplicate copyright notices: vagrant/* is under the same license as the rest of this tree
Merge remote-tracking branch 'origin/master' into stable
Merge branch 'stable' into devel
Drop obsolete known issues: TBB 3.5 is out.
updated PO files
Update the website accordingly to the 686-pae -> amd64 switch.
Adapt Cucumber features accordingly to the 686-pae -> amd64 move.
Make it clear that we ship Linux, not another kernel provided by Debian.
Document that both 64-bit and 32-bit kernels are available + the auto-detection mechanism.
Add non-goal.