add -spec option
add -W0 for erlc
generate type specification