Adding empty wiki manual (required by ocsforge)