Introduce the Termination Port API#1015

akosthekiss merged 1 commit intojerryscript-project:masterjerryscript-project/jerryscript:masterfrom

akosthekiss:port-terminationakosthekiss/jerryscript:port-terminationCopy head branch name to clipboard