Potentially ambiguous annotation name @ReplaceAspectMethod

[dvojtise]

I think that the name @ReplaceAspectMethod for the annotation is ambiguous and does not reflect is usage for end users.

(see the 2 sections about it in the documentation http://diverse-project.github.io/k3/publish/user_documentation/html_single/user_documentation.html#_main_annotations_for_k3 and http://diverse-project.github.io/k3/publish/user_documentation/html_single/user_documentation.html#_replacing_a_method_of_the_base_class )

I suggest to rename it: @ReplaceBaseMethod

suggestion and comment are welcome...