Update doc/Platforms.txt from master
Remove BerliOS mirror