add support for implicit / no-implicit

[monperrus]

we need two modes:

• implicit (capture semantic diff, current mode, good)
• no-implicit (we ignore all implicit nodes)

Reference: #347 (comment)

cc @algomaster99