[aur-general] appinventor duplicate

[Pierre-Antoine Vanpe]

Hi all, I noticed that appinventor has changed name upstream, the maintainer 
has 
dropped [1] appinventor-extras for [2] appinventor-setup. He asked in the 
comments of [1] to delete it