scilab: configure checks version >= 5.3.3 and disables scilab if check fails
scilab: small fixes in doc
scilab: fix command line option names