Tech:Prod4

prod4 was removed from the Orain cluster on the 10th of October 2014 as a result of repeated OS failures. The choice was made after several reinstalls. It was replaced by prod9 which was a temporary mediawikiserver turned permanent.