import and adopt mediawiki-extensions
upgrade syslinux 5.00 -> 5.01
add recipe for mediawiki-extensions