The EVN MkIV recording system and the EVN Data Processor at JIVE