IFJ13 - Interpret jazyka ifj13 (podmnožiny PHP)