Fix HTTP OPTIONS requests

Simply map OPTIONS to GET requests, just as nginx and apache do.

Resolves: #979

Author: cweiske

lib/Router.php

@@ -63,6 +63,7 @@ class Router implements HttpKernelInterface {
 		'POST'			=> 'add',
 		'DELETE'		=> 'delete',
 		'GET'			=> 'get',
+		'OPTIONS'		=> 'get',
 		'PATCH'			=> 'edit',
 		'PULL'			=> 'edit'		// not REST-conform
 	);