Remove -property option from D checker

In DMD v2.064 (next release), new property syntax will be the default setting and `-property` option will be deprecated.
Unfortunately, `-property` is too strict compared with the new property syntax.

For example:
```d
int foo() { return 0; }

void main()
{
  auto a = foo; // ok in the next release
                // but -property rejects it
}
```

It will confuse the users. I think it is better to remove `-property` option from the command for `d-dmd`.