Update DETAILS in order to fit the 5.2 museum

PHP5.2 is now unmaintained and sources have been moved from official mirrors to the museum download center. SOURCE_URLs have been fixed.