Use compile flag -nostdinc++ to speed up compilation

This attempts to solve #408 (closed) by enabling the option -nostdinc++ in the parsing of Allen used by libclang.