Rename avdl files to fit into a global API

Per @lh3's comments in #40, renaming our .avdl to be part of the bigger picture.