Add --build-type to tools/build.py (#4409)
Add --build-type to tools/build.py (#4409)

This allows users to specify a build type other than `MinSizeRel`
or `Debug` for `tools/build.py`. (Build type was already freely
configurable by invoking cmake directly with a custom
`CMAKE_BUILD_TYPE` option.)

JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu
akosthekiss/jerryscript,jerryscript-project/jerryscript,robertsipka/jerryscript,zherczeg/jerryscript,robertsipka/jerryscript,akosthekiss/jerryscript,zherczeg/jerryscript,robertsipka/jerryscript,zherczeg/jerryscript,jerryscript-project/jerryscript,dbatyai/jerryscript,akosthekiss/jerryscript,bzsolt/jerryscript,bzsolt/jerryscript,robertsipka/jerryscript,dbatyai/jerryscript,robertsipka/jerryscript,akosthekiss/jerryscript,bzsolt/jerryscript,bzsolt/jerryscript,jerryscript-project/jerryscript,akosthekiss/jerryscript,zherczeg/jerryscript,jerryscript-project/jerryscript,bzsolt/jerryscript,zherczeg/jerryscript,dbatyai/jerryscript,dbatyai/jerryscript,robertsipka/jerryscript,dbatyai/jerryscript,jerryscript-project/jerryscript