Updates in 2019Q1: specs and WASI

Updates in 2019Q1: specs and WASI chikoski@