There was some missing configuration options in the CONFIGURATION documentation. This patch adds these missing configurations. JerryScript-DCO-1.0-Signed-off-by: Gergo Csizi [email protected]