In looking at the latest releases, ext-dev.js will be available in the next release or is currently available in SVN releases.
In regards to bootstrap.js, I recall an article from Ed mentioning that it was create for internal development and was not really meant to be released. It is recommended the use the defaults of
ext-all-debug for development and ext-all for production.
Do you have a support account? (Ticket Portal)
If so you should be able to get the latest (Nightly Build) in the top left hand corner that contains these files. If you do not I will have to ask about the SVN access there have been some recent changes.
You should be presented with a list of builds when you click on Nightly Build. Can you perhaps try another browser and see if you get different results?